#ifndef RTW_HEADER_mul_wide_su32_h_
#define RTW_HEADER_mul_wide_su32_h_
#include "rtwtypes.h"

extern void mul_wide_su32(int32_T in0, uint32_T in1, uint32_T *ptrOutBitsHi,
  uint32_T *ptrOutBitsLo);

#endif

